3.tasks.md(任务清单)—— 将技术方案拆分为可执行的具体任务(todolist)Spec Coding MCP项目地址:https://github.com/feiyun0112/spec-coding-mcp 注意,使用此MCP,需要.net 10,请提前安装:https://dotnet.microsoft.com/en-us/download/dotnet/10.0CodeBuddy 国际版如何安装 spec-coding-mcp1 、下载发布版exe程序进入下载页面:https://github.com/feiyun0112/spec-coding-mcp/releases2、解压出来,并获取当前exe路径3、CodeBuddy "disabled": false, "timeout": 60, "type": "stdio", "command": "D:\\MCPServer\\spec-coding-mcp \\SpecCodingMcpServer.exe", "args": [], "env": {} } } }其中command是你的spec-coding-mcp
下载链接:https://drive.weixin.qq.com/s?k=AJEAIQdfAAof5YvVAg
两种新兴的高级 AI 编程范式证明了这一趋势: Spec Coding (规约驱动编码): 以 Kiro AI IDE 的实践为代表,这种模式下,AI 会严格引导开发者遵循“编写需求文档 -> 编写设计文档 像 Spec Coding 和 ContextDev 这样的严谨范式,正是第一节中提到的“文档优先”方法的最终形态,它们将最佳实践固化为强制性的、可追溯的工作流,预示着软件“工厂化生产”的梦想正变得越来越真实
Omni 协议层曾在于比特币协议层与用户货币层之间,旨在成为可以发布个性化货币的基础协议。实现Omni协议的软件将包含一个工具,可以允许人们去设计并发行自定义规则的货币,而不需要去做任何的软件开发。
前后端联调:SDD+MCP的联调路径:接口URL→MCP直连文档→一次性获取字段、枚举、必填项→接口文件一次生成→联调一次通过,6个接口零联调返工。 MCP二:飞书云文档直读通过该MCP工具,AI可以直接读取飞书云文档的内容(PRD、设计说明、技术文档等),无需用户手工打开→复制→粘贴。 通过Spec强制进行“先设计后编码”,可以确保AI的每一步都在既定轨道上,且Spec记录了设计的决策过程,对于后期维护价值巨大。 应对:Spec工作流的proposal阶段强制要求先描述「Why」,避免AI自行填充目标。 规范是杠杆,AI是力,Spec工作流是支点。
很多团队做 AI Coding 时,最容易掉进一个坑: 代码生成很快,但需求和规则没写清,后续越改越乱。 这次我们做了一个完整实践:用手工 Spec Coding(不依赖 OpenSpec 工具链)开发了一个可运行应用,包含: 前端:Vue 页面(流程操作 + 学习侧栏) 后端:Flask API(提交/审核 Spec Coding? Coding 的价值就在于:先约束,再编码;先定义,再实现。 七、结语:手工 Spec Coding 不是慢,而是省总成本 看起来前期多写了几份文档,但换来的是后续迭代的“低混乱、低返工、高可追踪”。
当前,使用vibe coding开发前端界面时候,基本上都是盲目看代码或者是加日志,然后用户去console拷贝过来告诉它为啥失败,非常的繁琐。 安装方法 将如下mcp服务配置到任何你喜欢的vibe ide中,还有人不会配置吗? 实时验证代码更改 使用AI Agent生成修复,然后自动验证解决方案是否按预期与Chrome DevTools MCP工作。 总结 本来开发网页,DevTools就是少不了的一环,现在Chrome把MCP这个环节补全了,简直完美! 而且这个东西,也不只是vibe coding时候有用,他也支持自动化测试啊,不知道是否可以通过语言来制定测试的流程,以前这些都要手写,着实麻烦!
Commit messages are short descriptions of changes to a repository. We should follow certain standards to effectively describe changes, such as the most used Angular Commit specification on GitHub, or each development team can simplify and formulate their own submission specifications, which is not only conducive to the automatic generation of Changelog in the later stage, but more importantly, when it appears When there is a bug, the entire warehouse can be quickly checked, the problem point can be accurately located, and the version can be returned.
AI工具实践范例 基于 tapd 需求做初步分解(需 tapd mcp) 请分析tapd需求<tapd url>,并将其拆分为多个独立的子需求。 在拆分时,你必须严格遵循以下原则: 1. SPEC 不是银弹,它也有自己的问题 SPEC 流程并不完美。 SPEC 与 Vibe Coding 并非对立,而是互补 坚持用 SPEC 不代表要彻底放弃 Vibe Coding。 在探索新技术栈、摸索新业务或快速验证产品想法时,Vibe Coding 的自由探索依然不可或缺。关键在于,我们可以有意识地沉淀 Vibe 过程中的成功经验和踩坑教训。 spec-workflow-mcp: https://github.com/Pimzino/spec-workflow-mcp -End- 原创作者|朱邦义
默认情况下,编译器使用操作的 operationId 来确定相应 REST 调用调用的方法的名称。可以指定不同的名称。为此,请将以下内容添加到规范类的 OpenAPI XData 块中的操作中:
[痛点配图](此处建议配图:一个开发者被各种箭头和问号包围,表情崩溃的插画)二、SDD:给AI立规矩Spec-DrivenDevelopment(规范驱动开发)的出现,正是为了结束这种混乱。 展开代码语言:YAMLAI代码解释#specs/auth/login.spec.md##功能:用户登录###验收标准:-[]用户输入正确邮箱和密码,登录成功并跳转到首页-[]用户输入错误密码3次,账户被锁定 展开代码语言:TXTAI代码解释changes/add-dark-mode/├──proposal.md#为什么需要深色模式├──tasks.md#具体要做哪些事(可勾选)└──specs/├──theme/spec.md #深色模式的规范(增量)└──settings/spec.md#设置页的规范变更提案通过审查,才能进入实施。 延伸阅读OpenSpec官方文档:[链接]Spec-DrivenDevelopment:TheMissingLinkinAIProgramming
今天继续聊AI软件工程方面的话题,继续继续测试和验证采用AWS的Kiro进行Spec Coding的方式进行编程。 注:上图是我提供给AI的原型参考界面。 在上一篇文章已经介绍了Kiro提供的Spec定义和Plan任务规划模式,会基于原始需求先生产需求文档,设计文档,编码任务文档,然后再开始后续任务的执行。 这个也是我原来一直强调的,后续AI-IDE功能一定会增加类似集成了PlayWright MCP工具后的模拟人一样的类似RPA机器人一样的黑盒测试能力。会增加类似人一样的界面UI的多模态视角识别能力。 Kiro进行Spec Coding的方式试用下来仍然是一个推荐的模式。因为这个案例我用相当多的工具进行过测试,相当来说Kiro这种Spec驱动的方式仍然是交互次数最小的方式。
今天继续聊AI软件工程方面的话题,继续继续测试和验证采用AWS的Kiro进行Spec Coding的方式进行编程。 注:上图是我提供给AI的原型参考界面。 在前面我也讲过Spec Coding这种模式,也是AI软件工程思想本身的一种落地实践。 编写数据库设计文档 - 编写代码结构说明 - _需求: 所有需求的开发支持_ - 准备演示数据 - 项目打包和交付 - _需求: 所有需求的交付支持_ 注意,即使我们不采用Kiro进行Spec Coding,我们完全可以参考Kiro提供的这套Spec上下文工程定义规范。 对于复杂软件项目的开发,我们完全可以参考这套规范进行Spec的编写。 对于最终的开发输出和测试验证,后续进一步分享。
SPEC2006软件编译安装IOS软件解压在win操作系统用winRAR软件对ISO文件进行直接解压,不可将ISO文件用刻盘软件进行刻盘,会丢失文件。 修改spec2006内文件cd /home/speccpu/tools/ 目录下修改 make-3.82/glob/glob.c把 # if _GNU_GLOB_INTERFACE_VERSION == 函数的问题和 numconvert.t 测试失败的问题(参考 https://serverfault.com/a/801997/323597 和 如何在 Hifive Unmatched 开发板上安装 SPEC *,解决 miniperl Segmentation fault 的问题(参考 unmatched(riscv64) 上编译,安装和移植 SPEC CPU 2006)@@ -4536,7 +4536,7 shrc packagetools linux-sw64 export SPEC_INSTALL_NOCHECK=1 .
PART01 什么是 Spec Coding 1.从 Vibe Coding 说起 相信关注这个系列的读者对 Vibe Coding 都不陌生,很多人应该已经在日常工作中大量使用了。 2.Spec Coding:给 Vibe Coding 加上结构 Spec Coding,全称是 Spec-Driven Development(规格驱动开发),最早是 AWS 在它的 AI IDE 产品 需要强调的是,Spec Coding 并不是 Vibe Coding 的对立面,而是它的进化。在最终的实现阶段,AI 仍然是用 Vibe Coding 的方式来写代码。 这个项目的核心价值是:它把 Spec Coding 的工作流固化成了 Claude Code 可以执行的标准流程。 4.上下文管理技巧 Spec Coding 天然会产生大量的文档,一个完整的 Spec 加上相关的已有代码,可能有几万甚至十几万 token。
Spec Kit 更快地构建高质量软件。 一个开源工具包,让你专注于产品场景和可预测的结果,而不是从头开始对每个部分进行氛围式编码。 目录 • 什么是规范驱动开发? 快速升级: uv tool install specify-cli --force --from git+https://github.com/github/spec-kit.git 选项 2:一次性使用 无需安装,直接运行: uvx --from git+https://github.com/github/spec-kit.git specify init <PROJECT_NAME> 持久化安装的好处 视频概览 想看看 Spec Kit 的实际运作吗?观看我们的视频概览[19]! [20] 视频地址:https://www.youtube.com/watch? 了解更多 详见:https://github.com/github/spec-kit 故障排除 Linux 上的 Git 凭据管理器 如果你在 Linux 上遇到 Git 身份验证问题,可以安装 Git
个人体感TRAE在国内Coding IDE里算Very Good,比开源的Cline,Kilo等在Token使用上效率更高,但和cursor还有距离。 如何最大化Token使用效率和效果是个系统工程问题~ Vibe Coding实战:从零构建代码沙箱 本来想完整分享整个Vibe Coding过程的,结果TRAE升级把历史对话记录清空了(哭)。 self.kernel_manager = KernelManager( kernel_name='python3', kernel_spec_manager _create_custom_kernel_spec_manager() ) # 设置环境变量 env = os.environ.copy() MCP - 工具演变 & MCP基础中提到的MCP本身并不是工具,它只是Adapter,而FastAPI-MCP库完美体现了这一特性——它可以将现有的FastAPI工具直接转换成标准MCP服务。
AI领域中的Spec详解引言在人工智能领域中,"spec"通常是specification(规格、规范)的缩写,用于描述一个系统、模型、接口、功能或行为的详细定义。 本文将从五个常见场景出发,详细解析"spec"在AI领域中的具体使用方法和最佳实践。 进行模型部署,用户可以判断模型是否满足业务需求,同时spec也是实现模型互操作性的重要基础(如ONNX格式中的模型spec)。 例如,Llama3的官方spec会明确说明其上下文长度为8192tokens,支持多语言,并采用RMSNorm归一化等技术细节。 掌握不同场景下Spec的使用方法,是AI开发者必备的核心技能。
不是版本太低就是文件分布太野路子”,此时我们需要自己订制软件包的需求,我们会把一些源码包按照我们的需求来做成rpm包,其中的Spec文件是制作RPM包的核心。 BUILD:源码解压以后放的目录 RPMS:制作完成后的rpm包存放目录 SOURCES:存放源文件,配置文件,补丁文件等放置的目录【常用】 SPECS:存放spec 文件,作为制作rpm包的文件,即:nginx.spec……【常用】 SRPMS:src格式的rpm包目录 BuiltRoot:虚拟安装目录,即在整个install的过程中临时安装到这个目录 最终,Spec文件中最后有清理阶段,这个目录中的内容将被删除 Spec文件的宏定义: rpmbuild --showrc | grep topdir #工作车间目录 文件目录如下: [devops]$ pwd $HOME/rpmbuild/SPEC 以下为Nginx Spec file的实例: cat
java.security.spec.InvalidKeySpecException 是一个常见的异常,通常在尝试生成或转换密钥规格时发生。 一、分析问题背景 java.security.spec.InvalidKeySpecException通常出现在使用KeyFactory生成密钥规格时。 privateKey = keyFactory.generatePrivate(keySpec); // 可能抛出InvalidKeySpecException 二、可能出错的原因 导致java.security.spec.InvalidKeySpecException 五、注意事项 在处理加密和密钥管理时,注意以下几点可以有效避免java.security.spec.InvalidKeySpecException: 确保密钥规格与算法匹配:在使用KeyFactory生成密钥时 通过理解和应用这些注意事项,您可以有效避免java.security.spec.InvalidKeySpecException,提高代码的安全性和可靠性。